Quaternioni
I Quaternioni sono delle strutture matematiche introdotte da William Rowan Hamilton in Irlanda nel 1843. Le proprietà dei quaternioni fecero molto discutere i matematici del tempo perché in questa struttura la legge commutativa non vale.Specificamente i quaternioni sono una estensione non commutativa dei numeri complessi. Sono uno spazio vettoriale definito sopra i numeri reali. I quaternioni hanno 4 dimensioni mentre i numeri complessi ne hanno 2.
| Table of contents |
|
2 Esempio 3 Proprietà 4 Representing quaternions by matrices 5 History 6 Generalizations 7 See also 8 Related resources |
| · | 1 | i | j | k |
| 1 | 1 | i | j | k |
| i | i | −1 | k | −j |
| j | j | −k | −1 | i |
| k | k | j | −i | −1 |
Usando questa definizione di moltiplicazione le unità dei quaternioni formano un gruppo di quaternioni di ordine 8, Q8.
Definiamo
A differenza dei numeri reali o dei numeri immaginari le moltiplicazioni nei quaternioni non godono della proprietà commutativa: es. ij = k, ji = −k, jk = i, kj = −i, ki = j, ik = −j. I quaternioni sono un esempio di anello di divisione, una struttura algebrica simile hai campi eccetto per la commutatività della moltiplicazione. In particolare la moltiplicazione è dotata dalla proprietà associativa, dell'elemento inverso e dell'elemento neutro. Questi formano un algebra associativa a 4 dimensioni costruita sui numeri reali ( in effetti sono un algebra di divisione ), essi contengono i numeri complessi anche se non formano un algebra associativa con essi.
I quaternioni, i numeri complessi e i numeri reali sono le uniche algebre di divisione associative a dimensione finita costruite sui numeri reali.
La non commutatività della moltiplicazione porta una conseguenza inaspettata , le soluzioni dei polinomi definiti con i quaternioni possono essere più di quelle definite dal grado del polinomio. L'equazione n z2 + 1 = 0, per esempio ha infinite soluzioni nei quaternioni z = bi + cj + dk with b2 + c2 + d2 = 1.
The conjugate of the quaternion z = a + bi + cj + dk is defined as z* = a − bi − cj − dk, and the absolute value of z is the non-negative real number defined by
By using the distance function d(z, w) = |z − w|, the quaternions form a metric space (isometric to the usual Euclidean metric on R4) and the arithmetic operations are continuous. We also have |zw| = |z| |w| for all quaternions z and w. Using the absolute value as norm, the quaternions form a real Banach algebra.
As is explained in more detail in quaternions and spatial rotation, the multiplicative group of non-zero quaternions acts by conjugation on the copy of R3 consisting of quaternions with real part equal to zero:
it is not hard to see that the conjugation by a unit quaternion (a quaternion of absolute value 1) with real part cos(t) is a rotation by an angle 2t,
the axis of the rotation being the direction of the imaginary part.
Quaternions are sometimes used in computer graphics (and associated geometric analysis) to represent rotations or orientations of objects in 3d space. The advantages are: non singular representation (compared with Euler angles for example), more compact (and faster) than matrices. Similarly, a pair of unit quaternions can represent a rotation in 4d space.
The set of all unit quaternions forms a 3-dimensional sphere S3 and a group (a Lie group) under multiplication. S3 is the double cover of the group SO(3,R) of real orthogonal 3×3 matrices of determinant 1 since two unit quaternions correspond to every rotation under the above correspondence. The group S3 is isomorphic to SU(2), the group of complex unitary 2×2 matrices of determinant 1.
Let A be the set of quaternions of the form a + bi + cj + dk where a, b, c and d are either all integers or all rational numbers with odd numerator and denominator 2. The set A is a ring and a lattice. There are 24 unit quaternions in this ring, and they are the vertices of a 24-cell regular polytope with Schläfli symbol {3,4,3}.
There are at least two ways of representing quaternions as matrices, in such a way that quaternion addition and multiplication correspond to matrix addition and matrix multiplication (i.e., quaternion-matrix homomorphisms).
One is to use 2×2 complex matrices, and the other is to use 4×4 real matrices.
In the first way, the quaternion a + bi + cj + dk is represented as
Quaternions were discovered by William Rowan Hamilton of Ireland in 1843. Hamilton was looking for ways of extending complex numbers (which can be viewed as points on a plane) to higher spatial dimensions. He could not do so for 3-dimensions, but 4-dimensions produce quaternions. According to a story he told, he was out walking one day with his wife when the solution in the form of equation i2 = j2 = k2 = ijk = −1 suddenly occurred to him; he then promptly carved this equation into the side of nearby Brougham bridge (now called Broom Bridge) in Dublin.
This involved abandoning the commutative law, a radical step for the time. Vector algebra and matrices were still in the future. Not only this, but Hamilton had in a sense invented the cross and dot products of vector algebra. Hamilton also described a quaternion as an ordered quadruple (4-tuple) of real numbers, and described the first coordinate as the 'scalar' part, and the remaining three as the 'vector' part. If two quaternions with zero scalar parts are multiplied, the scalar part of the product is the negative of the dot product of the vector parts, while the vector part of the product is the cross product. But the significance of these was still to be discovered.
Hamilton proceeded to popularize quaternions with several books, the last of which, Elements of Quaternions, had 800 pages and was published shortly after his death.
Even by this time there was controversy about the use of quaternions. Some of Hamilton's supporters vociferously opposed the growing fields of vector algebra and vector calculus (developed by Oliver Heaviside and Willard Gibbs among others), maintaining that quaternions provided a superior notation. While this is debatable in three dimensions, quaternions cannot be used in other dimensions (though extensions like octonions and Clifford algebras may be more applicable). In any case, vector notation had nearly universally replaced quaternions in science and engineering by the mid-20th century.
Today, quaternions see use in computer graphics, control theory, signal processing, attitude control and orbital mechanics, mainly for representing rotations/orientations in three dimensions. For example, it is common for spacecraft attitude-control systems to be commanded in terms of quaternions, which are also used to telemeter their current attitude. The rationale is that combining many quaternion transformations is more numerically stable than combining many matrix transformations.
If F is any field and a and b are elements of F, one may define a four-dimensional unitary associative algebra over F by using two generators i and j and the relations i2 = a, j2 = b and ij = −ji. These algebras are either isomorphic to the algebra of 2×2 matrices over F, or they are division algebras over F. They are called quaternion algebras.
Esempio
Ecco delle semplici operazioniProprietÃ
Representing quaternions by matrices
This representation has several nice properties.
In the second way, the quaternion a + bi + cj + dk is represented as
In this representation, the conjugate of a quaternion corresponds to the transpose of the matrix.History
Generalizations
See also
Related resources
